Post Mortem
May 1, 2016
8:22 AM
My explanation of the switch from \barF to F (meaning, from excising a crossing to cutting next to it) was abysmal.
Viro: [PV] was in fact a lot earlier than [GPV]. (This should at least affect the naming of the pairing).